Farnborough Branch Lecture: Air Traffic Control . . . Demystified